Aalborg Universitet Statistical Model Checking in

Aalborg Universitet Statistical Model Checking in Uppaal : Lets Practice

Statistical model-checking is a recent technique used for both verification and performance analysis of hybrid systems. It does not suffer from decidability issues or state-space explosion compared to traditional model-checking. Furthermore, it is applicable to more powerful formalisms such as stochastic hybrid automata. Its principle is simple so how simple is it really to make it work in prac...

Aalborg Universitet NSAID INFLUENCES ON FRAGMENT MIGRATION, PAIN AND FUNCTION AFTER COLLES FRACTURE (CHIP) – trial statistical analysis plan Aliuskevicius, Marius

Aalborg Universitet Spike detection and clustering with unsupervised wavelet optimization in extracellular neural recordings

An Investigation into Virtual Representations of Real Places

1 Aalborg Universitet, Aalborg – Denmark, Computer Vision and Media Technology Laboratory 2 The Hebrew University of Jerusalem, Israel, School of Computer Science and Engineering 3 Czech Technical University in Prague Centre for Machine Perception (CMP), Department of Cybernetics 4 Napier University, Edinburgh, School of Computing 5 Universität Bremen, Institute for Brain Research 6 Aalborg Uni...

Aalborg Universitet Multi - Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction

This paper contributes to the multi-core model checking of timed automata (TA) with respect to liveness properties, by investigating checking of TA Büchi emptiness under the very coarse inclusion abstraction or zone subsumption, an open problem in this field. We show that in general Büchi emptiness is not preserved under this abstraction, but some other structural properties are preserved. Base...